@INPROCEEDINGS{PatrickAOC14, author = {Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark}, title = {Probability-Based Semantic Interpretation of Mutants}, booktitle = {Seventh {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2014 Workshops Proceedings, March 31 - April 4, 2014, Cleveland, Ohio, {USA}}, year = {2014}, address = {}, month = {}, pages = {186--195} }

@ARTICLE{AnandBCCCGHHMOE13, author = {Saswat Anand and Edmund K. Burke and Tsong Yueh Chen and John A. Clark and Myra B. Cohen and Wolfgang Grieskamp and Mark Harman and Mary Jean Harrold and Phil McMinn}, title = {An orchestrated survey of methodologies for automated software test case generation}, journal = {Journal of Systems and Software}, year = {2013}, month = {}, volume = {86}, number = {8}, pages = {1978--2001} }

@ARTICLE{ClarkDH13, author = {John A. Clark and Haitao Dan and Robert M. Hierons}, title = {Semantic mutation testing}, journal = {Sci. Comput. Program.}, year = {2013}, month = {}, volume = {78}, number = {4}, pages = {345--363} }

@INPROCEEDINGS{patrick_ICST_13, author = {Matthew Patrick and Robert Alexander and Manuel Oriol and John A. Clark}, title = {Using Mutation Analysis to Evolve Subdomains for Random Testing}, booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg, March 18-22, 2013}, year = {2013}, address = {}, month = {}, pages = {53--62} }

@INPROCEEDINGS{PatrickOC12, author = {Matthew Patrick and Manuel Oriol and John A. Clark}, title = {{MESSI:} Mutant Evaluation by Static Semantic Interpretation}, booktitle = {Fifth {IEEE} International Conference on Software Testing, Verification and Validation, {ICST} 2012, Montreal, QC, Canada, April 17-21, 2012}, year = {2012}, address = {}, month = {}, pages = {711--719} }

@INPROCEEDINGS{ClarkDH10, author = {John A. Clark and Haitao Dan and Robert M. Hierons}, title = {Semantic Mutation Testing}, booktitle = {Proceedings of the 5th International Workshop on Mutation Analysis (MUTATION'10)}, year = {2010}, address = {Paris, France}, month = {6 April}, pages = {} }

@INPROCEEDINGS{ClarkDH10, author = {John A. Clark and Haitao Dan and Robert M. Hierons}, title = {Semantic Mutation Testing}, booktitle = {Third International Conference on Software Testing, Verification and Validation, {ICST} 2010, Paris, France, April 7-9, 2010, Workshops Proceedings}, year = {2010}, address = {}, month = {}, pages = {100--109} }

@INPROCEEDINGS{zhan_GECCO_05, author = {Yuan Zhan and John A. Clark}, title = {Search-based mutation testing for \emph{Simulink} models}, booktitle = {Genetic and Evolutionary Computation Conference, {GECCO} 2005, Proceedings, Washington DC, USA, June 25-29, 2005}, year = {2005}, address = {}, month = {}, pages = {1061--1068} }

@INPROCEEDINGS{ZhanC05, author = {Yuan Zhan and John A. Clark}, title = {Search-based Mutation Testing for Simulink Models}, booktitle = {Proceedings of the Conference on Genetic and Evolutionary Computation (GECCO'05)}, year = {2005}, address = {Washington DC, USA}, month = {25-29 June}, pages = {1061-1068} }

@INPROCEEDINGS{SrivatanakulCSP03, author = {Thitima Srivatanakul and John A. Clark and Susan Stepney and Fiona Polack}, title = {Challenging Formal Specifications by Mutation: a CSP Security Example}, booktitle = {Proceedings of the 10th Asia-Pacific Software Engineering Conference (APSEC'03)}, year = {2003}, address = {Chiang Mai, Thailand}, month = {10-12 December}, pages = {340–350} }

@INPROCEEDINGS{KimCM01, author = {Sunwoo Kim and John A. Clark and John A. McDermid}, title = {Investigating the effectiveness of object-oriented testing strategies using the mutation method}, booktitle = {Proceedings of the 1st Workshop on Mutation Analysis (MUTATION'00)}, year = {2001}, address = {San Jose, California}, month = {6-7 October}, pages = {207-225} }

@INPROCEEDINGS{KimCM00, author = {Sunwoo Kim and John A. Clark and John A. McDermid}, title = {Class Mutation: Mutation Testing for Object-oriented Programs}, booktitle = {Proceedings of the Net.ObjectDays Conference on Object-Oriented Software Systems}, year = {2000}, address = {}, month = {}, pages = {} }

@INPROCEEDINGS{KimCM99a, author = {Sunwoo Kim and John A. Clark and John A. McDermid}, title = {The Rigorous Generation of Java Mutation Operators Using HAZOP}, booktitle = {Proceedings of the 12th International Cofference Software and Systems Engineering and their Applications (ICSSEA 99)}, year = {1999}, address = {Paris, France}, month = {29 November-1 December}, pages = {} }

@INPROCEEDINGS{KimCM99b, author = {Sunwoo Kim and John A. Clark and John A. McDermid}, title = {Assessing Test Set Adequacy for Object Oriented Programs Using Class Mutation}, booktitle = {Proceedings of the 3rd Symposium on Software Technology (SoST'99)}, year = {1999}, address = {Buenos Aires, Argentina}, month = {8-9 September}, pages = {} }